<?php
session_start();
session_destroy();
?>
<html><head><title>Log out</title></head>
<link rel="stylesheet" type="text/css" href="style.css" /><body>
<h2>You have been logged out.</h2>
<h4>Log in <a href = "login.php">here.</a>
</body></html>
